(clear_mouse_face): Only clear mouse highlight if not hidden.
authorKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:43 +0000 (21:54 +0000)
committerKim F. Storm <storm@cua.dk>
Mon, 5 Apr 2004 21:54:43 +0000 (21:54 +0000)
commit2ef4b8c75d0711a688c48ce943a667c3f8aa6018
tree442e34eed34e102b170588f2d2c906fdc1203aba
parent3dadcad1848df216980e23a00392aaf1412e021c
(clear_mouse_face): Only clear mouse highlight if not hidden.
src/xdisp.c